Safety, Security, and Software Reuse: A Model-Based Approach

With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are becoming increasingly difficult to guarantee. Model based techniques constitute a promising approach to guarantee safety and security in systems built with reusable components. The key elements in this approach are correctness and certifiability by construction, and separation of concerns. A safety-oriented development process compliant to the ISO DIS 26262 standards is presented. A model driven approach to security accreditation of service-oriented architectures is also presented.